Behavior specification in a software design system
نویسندگان
چکیده
منابع مشابه
Behavior specification in a software design system
A technique for software system behavior specification appropriate for use in designing systems with concurrency is presented. The technique is based upon a generalized ability to define events, or significant occurrences in a software system, and then indicate whatever constraints the designer might wish to see imposed upon the ordering or simultaneity of those events. Constructs implementing ...
متن کاملRequirements Specification as Executable Software Design – A Behavior Perspective
Today’s application development requires agile project structures and active involvement of concerned stakeholders. Transforming of representations from requirements specification to executable design models hinders seamless roundtrip engineering and dynamic adaptation. Subject-oriented software processes allow fine-grained modeling and subsequent execution of mutually adjusted stakeholder beha...
متن کاملDesign and Implementation of a Software System for Detecting Orthographical or Morphological Errors in Persian Words
This paper presents a new method for analyzing words in the Persian language context to find orthographical and structural errors regardless of the meaning. This technique tokenizes each word in a statement then tries to detect the kind of word, and analyses its correctness in terms of orthography and morphology by means of a lexicon. It should be noted that some words in the Persian language h...
متن کاملdesign and calibration of a software-based food colorimeter system
in this study the factors controlling the software colorimetry (photoshop), including illumination (direct and indirect), image background (white and black), camera settings (zoom, light, resolution and environmental conditions) and the conversion equations of r, g, b images to l *, a *, b *, compared with the results of the device were investigated and optimized. the results showed that the fa...
متن کاملSoftware Specification & Design Methods and Method Engineering
This article summarizes the state of the art in software speci cation & design methods, which assist developers in constructing the models of the problem domain and of the system and in writing requirements and design speci cations. The typical methods such as structured methods and object-oriented methods are summarized. The new discipline called \Method Engineering", engineering for construct...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Systems and Software
سال: 1983
ISSN: 0164-1212
DOI: 10.1016/0164-1212(83)90025-0